Instance Verification Kit (IVK)

mutex lock @ [5403+26+/linux-3.19-rc1/drivers/usb/misc/sisusbvga/sisusb_con.c]
Instance Signature: lock

The Matching Pair Graph:


Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
sisusb_console_init [33455+19+/linux-3.19-rc1/drivers/usb/misc/sisusbvga/sisusb_con.c]
sisusb_get_sisusb_lock_and_check [5024+32+/linux-3.19-rc1/drivers/usb/misc/sisusbvga/sisusb_con.c]
sisusb_handle_command [67953+21+/linux-3.19-rc1/drivers/usb/misc/sisusbvga/sisusb.c]
sisusb_ioctl [70580+12+/linux-3.19-rc1/drivers/usb/misc/sisusbvga/sisusb.c]
sisusb_reset_text_mode [56266+22+/linux-3.19-rc1/drivers/usb/misc/sisusbvga/sisusb.c]
sisusbcon_blank [15077+15+/linux-3.19-rc1/drivers/usb/misc/sisusbvga/sisusb_con.c]
sisusbcon_bmove [11639+15+/linux-3.19-rc1/drivers/usb/misc/sisusbvga/sisusb_con.c]
sisusbcon_clear [10579+15+/linux-3.19-rc1/drivers/usb/misc/sisusbvga/sisusb_con.c]
sisusbcon_cursor [17902+16+/linux-3.19-rc1/drivers/usb/misc/sisusbvga/sisusb_con.c]
sisusbcon_do_font_op [24758+20+/linux-3.19-rc1/drivers/usb/misc/sisusbvga/sisusb_con.c]
sisusbcon_font_get [30950+18+/linux-3.19-rc1/drivers/usb/misc/sisusbvga/sisusb_con.c]
sisusbcon_font_set [29756+18+/linux-3.19-rc1/drivers/usb/misc/sisusbvga/sisusb_con.c]
sisusbcon_putc [9361+14+/linux-3.19-rc1/drivers/usb/misc/sisusbvga/sisusb_con.c]
sisusbcon_putcs [9826+15+/linux-3.19-rc1/drivers/usb/misc/sisusbvga/sisusb_con.c]
sisusbcon_resize [24104+16+/linux-3.19-rc1/drivers/usb/misc/sisusbvga/sisusb_con.c]
sisusbcon_save_screen [13584+21+/linux-3.19-rc1/drivers/usb/misc/sisusbvga/sisusb_con.c]
sisusbcon_scroll [20543+16+/linux-3.19-rc1/drivers/usb/misc/sisusbvga/sisusb_con.c]
sisusbcon_scroll_area [19462+21+/linux-3.19-rc1/drivers/usb/misc/sisusbvga/sisusb_con.c]
sisusbcon_scrolldelta [16767+21+/linux-3.19-rc1/drivers/usb/misc/sisusbvga/sisusb_con.c]
sisusbcon_set_origin [23480+20+/linux-3.19-rc1/drivers/usb/misc/sisusbvga/sisusb_con.c]
sisusbcon_set_palette [14282+21+/linux-3.19-rc1/drivers/usb/misc/sisusbvga/sisusb_con.c]
sisusbcon_switch [12320+16+/linux-3.19-rc1/drivers/usb/misc/sisusbvga/sisusb_con.c]